2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Logical Dilemmas: The Life and Work of Kurt Gödel
John W. Dawson
,
Jr.
23.42 Mb
#2
Logical Dilemmas: The Life and Work of Kurt Gödel
John W. Dawson Jr.
23.73 Mb
#3
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Matthias Baaz
,
Christos H. Papadimitriou
,
Hilary W. Putnam
,
Dana S. Scott
,
Charles L. Harper
3.80 Mb
#4
Reflections on Kurt Gödel
Hao Wang
2.08 Mb
#5
Collected Works: Volume III: Unpublished essays and lectures (Collected Works of Kurt Godel)
Kurt Gödel
49.54 Mb
#6
Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)
Solomon Feferman
,
Charles Parsons
,
Stephen G. Simpson (eds)
1.96 Mb
#7
Logical Dilemmas: The Life and Work of Kurt Gödel
John W. Dawson Jr.
19.80 Mb
#8
The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis With the Axioms of Set Theory
Kurt Gödel
Категория:
Математика
,
Анализ
830 Kb
#9
Obras completas
Kurt Gödel
12.86 Mb
#10
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
13.27 Mb
#11
Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)
Kurt Gödel
,
S. Feferman (Editor-in-Chief)
,
John W. Dawson Jr.
,
Warren Goldfarb
,
Charles Parsons
,
R. Solovay
4.74 Mb
#12
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings (Lecture Notes in Logic)
Petr Hajek
31.81 Mb
#13
La cartera del cretino
Kurt Vonnegut
Категория:
epub
732 Kb
#14
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
Категория:
Mathematics
,
Algebra
,
Mathematical logic
657 Kb
#15
Collected works. Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Mathematical logic
4.26 Mb
#16
Collected works. Publications 1938-1974
Kurt Gödel
,
S. Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
G. Moore
,
R. Solovay
,
the late Jean van Heijenoort
Категория:
Mathematical logic
3.42 Mb
#17
Collected Works: Volume I: Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Математика
26.18 Mb
#18
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
3.98 Mb
#19
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
Категория:
science_books
,
math
476 Kb
#20
Collected Works. - Unpublished essays and lectures
Kurt Gödel
,
S. Feferman (Editor-in-Chief)
,
John W. Dawson Jr.
,
Warren Goldfarb
,
Charles Parsons
,
R. Solovay
Категория:
M_Mathematics
,
MW_Collected works
4.67 Mb
#21
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
579 Kb